Skip to content

chore(argument,#4960): resync taxonomies verbatim au pin ae84c91c - #14578

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/4960-taxonomy-resync
Sep 4, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
feature/4960-taxonomy-resync

Conversation

@jsboige

@jsboige jsboige commented Sep 4, 2026 •

Copy link
Copy Markdown
Owner

Grain: MED/ledger -- lane myia-po-2023:CoursIA -- prev: MED/notebook-python #14536

#4960 Volet B etape 1 — resync taxonomies Argumentum (pin ae84c91c, verbatim)

See #4960

Les copies CoursIA etaient en derive mesuree

Delta mesure (preuves)

  • sha256 des copies actuelles vs blobs upstream au nouveau pin : tous differents (fallacies 457ca19a -> a96373d9, virtues fb3b0bbc -> 700b8261).
  • diff --strip-trailing-cr (normalisation EOL) : fallacies 148 lignes, virtues 304 lignes de delta de contenu.
  • Nature du delta (lecture des lignes differentes) :
Constat Preuve
Colonnes AIF/schemes enrichies (fallacies) ex. ligne 37 upstream porte 6.3.1.1.2.3.4, Example_Inference, InductiveInference_Scheme, skos:broadMatch, undercut, RA-node — vide cote ancienne copie
Ligne 45 fallacies : note de travail upstream corrigee l'ancienne copie (et ac33f607) portent la note « Je n'aime aucun des titres. Chercher vers Clairvoyance subjective... » — upstream la remplace par le titre RU reel (« Я это знаю, когда вижу »)
Lignes racine virtues enrichies attaques undermine/undercut, AIF-node types, gaps declares #989 (arbitrage ai-01 2026-08-31) : « left empty rather than tie-broken », scheme Argument from Sign

Anomalie de provenance resolue : la note draft n'est PAS une main-edit CoursIA — verifiee presente dans le blob upstream a ac33f607 (grep -c = 1). L'ancienne copie etait bien verbatim de ac33f607 (NOTICE exacte) ; l'amont a corrige la ligne entre les pins.

PAS de doublon (acceptance #4960)

  • Comptes de lignes identiques avant/apres : 1548 (fallacies) et 224 (virtues) — aucun ajout/retrait de ligne, mise a jour de contenu seule.
  • Scan du tree origin/main (git ls-tree -r) : aucune autre copie de taxonomie hors Argument_Analysis/{data,ontologies}.
  • Re-copie byte-verbatim des blobs upstream (sha256 des fichiers ecrits == sha256 des blobs ae84c91c), BOM UTF-8 preserve, EOL upstream preserves.

NOTICE (protocole LGPL #5183)

  • data/NOTICE + data/NOTICE-VIRTUES mises a jour : commit upstream ae84c91ce8..., Source SHA1 4ac3f12eaf15... (fallacies) et 9ff35b599e3e... (virtues), paragraphe resync documente.
  • Copies verbatim -> obligations LGPL-3.0 section 5 inchangees (attribution NOTICE conservee).

Hors scope (residus documentes)

Validation

  • 4 fichiers, un seul sujet (data resync). Les CSVs restent lisibles par les consommateurs existants (row-id PK stables, schema inchange, BOM/CRLF conserves).

…let B etape 1)

Copy des 2 taxonomies upstream (bump #14418 / #14418) byte-verbatim :
- Cards/Fallacies/Argumentum Fallacies - Taxonomy.csv -> data/argumentum_fallacies_taxonomy.csv
- Cards/Fallacies/Argumentum Virtues - Taxonomy.csv -> data/argumentum_virtues_taxonomy.csv
+ mise a jour NOTICE/NOTICE-VIRTUES (commit upstream + Source SHA1).
Aucun ajout/retrait de ligne (1548/224) — pas de doublon. See #4960
@github-actions github-actions Bot added the variation-tag-genre-offlist GENRE hors de l'enumeration variation-protocol §1 label Sep 4, 2026

@clusterManager-Myia clusterManager-Myia left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[Hermes] Review — SHA a66f680 — APPROVE (chore data resync, checklist complète).

Checklist postmortem :

  1. Security scan : 0 secret/token (les seuls matches grep = texte pédagogique CSV « secret pattern/liaison secrète » du contenu taxonomie, pas des credentials). RAS.
  2. Impact cross-repo : data-only (4 fichiers, aucun notebook → pas de re-exec, C.3 respecté). Consommateurs protégés — body documente row-id PK stables, schéma inchangé, BOM/CRLF conservés. LGPL : NOTICE/NOTICE-VIRTUES mis à jour (commit upstream + Source SHA1), protocole #5183 respecté.
  3. Cohérence contenu (vérifiée au diff) : ligne 34 fallacies enrichie (colonnes AIF/schemes, 6.3.1.1.2.3.4, Example_Inference + InductiveInference_Scheme, skos:broadMatch — exactement les preuves annoncées), ligne 45 note de travail → titre RU réel (« Я это знаю, когда вижу »), lignes virtues sous undercut/RA-node présentes. NOTICE reflète les mêmes changements. Comptes 74/74 + 152/152 = remplacements par ligne (pas d'ajout net → pas de doublon, acceptance #4960 tenue). Claims hash sha256 non re-exécutables ici (pas de clone submodule) mais cohérents.
  4. CI : 0 failure/0 error au head.

Méthode conforme à l'EPIC #4960 (volet B étape 1) : re-copie byte-verbatim au pin ae84c91c (cohérent avec le bump submodule #14418), delta mesuré documenté, hors-scope (owl, provenance notebook) explicité. Prête pour le merge.

@github-actions github-actions Bot removed the variation-tag-genre-offlist GENRE hors de l'enumeration variation-protocol §1 label Sep 4, 2026
@myia-ai-01
myia-ai-01 merged commit 84d0200 into main Sep 4, 2026
17 checks passed
myia-ai-01 pushed a commit that referenced this pull request Sep 24, 2026
…r la garde en CI (#17604)

* fix(argumentum,#17580): regenerer le snapshot au pin ae84c91c + cabler la garde en CI

Le manifeste `argumentum_snapshot.json` etait reste sur c86b71ff et
les anciens SHA de blob apres la resync des CSV par PR #14578 : la
garde d'integrite rougissait sur main depuis 19 jours en silence,
parce que `scripts/fallacy_detection/tests` n'etait ni dans pytest.ini
ni dans scripts-tests.yml. Quatre changements sur le meme theme,
scope strict :

1. `scripts/fallacy_detection/regenerate_argumentum_snapshot.py`
   (nouveau) : calcule les SHA de blob, comptes de lignes/colonnes,
   familles Virtues et assertions OWL a partir des donnees sur
   disque, et ecrit le manifeste a l'identique de la structure posee
   par #13554. Aucun SHA n'est edite a la main.

2. `argumentum_snapshot.json` : regenere au pin ae84c91c par le
   script. upstream_commit et synced_on (2026-09-23) mis a jour.
   14/14 tests d'integrite verts sur le meme runner Python 3.13.7
   win32 (rouge avant regen, vert apres, controle positif #17580
   critere 3).

3. `pytest.ini` : `scripts/fallacy_detection/tests` ajoute aux
   testpaths (la garde devient un test de la collection locale).

4. `.github/workflows/scripts-tests.yml` :
   - 3 entrees `paths:` symetriques (push + pull_request) pour
     couvrir `MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/data/**`,
     `.../ontologies/**`, `scripts/fallacy_detection/**`. Le cas de
     #14578 (resync qui ne touche pas scripts/**) tire maintenant la
     garde explicitement.
   - `scripts/fallacy_detection/tests` ajoute a la liste passee a
     pytest dans le job.

Verification end-to-end : 72/72 tests de
`scripts/fallacy_detection/tests` verts (14 integrite + 58 autres).
YAML du workflow parse. Perimetre non verifiee documentee (les OWL
n'ont pas bouge entre c86b71ff et ae84c91c -- 4 tests ontology_* OK
sur SHA identiques).

Refs #17580

* fix(ci,#17604): declarer scripts/fallacy_detection/tests dans WORKFLOW_COVERAGE

Le commit 85c3f78 a ajoute le testpath au pytest.ini et au job
scripts-tests.yml mais pas au dict source de verite du garde
WORKFLOW_COVERAGE de scripts/check_testpaths_coverage.py : les trois
rouges (testpaths vs CI coverage, fastlane phase 1, Scripts Tests CPU)
ont cette seule cause.

Verifie dans le worktree : check_testpaths_coverage.py rc=0,
pytest scripts/tests/test_check_paths_coverage.py 10 passed.

Geste nomme par l'adjoint (DM adj-c64, dossier verifie firsthand sur
la tete 85c3f78 sans rien pousser).

Refs #17580

Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

---------

Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
jsboige pushed a commit that referenced this pull request Sep 29, 2026
…onnes

Issue de suivi sur #17721 (commentaire ai-02 02:13Z, reprise du
constat de l'adjoint) : la derive de prose Obs-03 etait anterieure a
la PR et hors de son objet -- elle part en suivi.

Constat (mesure firsthand, 2026-09-29) :
- CSV canonique `data/argumentum_fallacies_taxonomy.csv` : 104 colonnes
  x 1 408 lignes (avant 102, +5 depuis le resync verbatim au pin
  ae84c91c #14578 -- svg_color, svg_illustration, print_and_play,
  decimal_path_padded, depth_max4).
- Prose cellule 0 : « structure plate 102 colonnes » → « structure plate
  104 colonnes ».
- Prose cellule 8 : « Il a **102 colonnes** : PK technique, ... » →
  « Il a **104 colonnes** : PK technique, ..., et depuis le resync
  verbatim au pin ae84c91c (#14578) les colonnes additionnelles
  `svg_color`, `svg_illustration`, `print_and_play`,
  `decimal_path_padded`, `depth_max4` (couleur de tuile, illustration
  SVG, flag imprimable, chemin decimal padded, profondeur max 4). »
- Output cellule 9 : « Shape : 1,408 lignes x 102 colonnes » rafraichi
  par re-execution reelle (Papermill kernel python313, 5.47 s, 0
  exception) à « Shape : 1,408 lignes x 104 colonnes ».

Diagnostic C.4 : type (d) regression de dependance/donnee. La donnee
sous-jacente (taxonomy Argumentum) a gagne 5 colonnes apres la
derniere execution ; prose et output sont restes figes. Pas une
claim fabriquee a l'origine -- la mesure etait vraie au moment de
l'execution. Pas de (e) stochasticite, (a) env, (b) claim anterieure
fabriquee, (c) moteur upstream. Verdict : CAUSE_FIXED.

L'execution a aussi actualise la taille du fichier OWL (5.9 MB → 6.8
MB) -- sortie de cellule 7 rafraichie. Pas de changement de
substance, juste reflet de l'etat actuel des fichiers.

Re-execution Papermill nettoie aussi l'injection d'erreur de la
session precedente (cellules 0 et 3 « An Exception was encountered »
+ « papermill-error-cell ») qui n'avait rien a voir avec le fix.

1 notebook, +1 ligne de substance, ~140 lignes de metadata Papermill
fraiches (timestamps, execution_count) -- le ratio est inherent a
toute re-execution de notebook (C.2 obligation de committer avec les
sorties).

Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
jsboige pushed a commit that referenced this pull request Sep 30, 2026
…onnes

Issue de suivi sur #17721 (commentaire ai-02 02:13Z, reprise du
constat de l'adjoint) : la derive de prose Obs-03 etait anterieure a
la PR et hors de son objet -- elle part en suivi.

Constat (mesure firsthand, 2026-09-29) :
- CSV canonique `data/argumentum_fallacies_taxonomy.csv` : 104 colonnes
  x 1 408 lignes (avant 102, +5 depuis le resync verbatim au pin
  ae84c91c #14578 -- svg_color, svg_illustration, print_and_play,
  decimal_path_padded, depth_max4).
- Prose cellule 0 : « structure plate 102 colonnes » → « structure plate
  104 colonnes ».
- Prose cellule 8 : « Il a **102 colonnes** : PK technique, ... » →
  « Il a **104 colonnes** : PK technique, ..., et depuis le resync
  verbatim au pin ae84c91c (#14578) les colonnes additionnelles
  `svg_color`, `svg_illustration`, `print_and_play`,
  `decimal_path_padded`, `depth_max4` (couleur de tuile, illustration
  SVG, flag imprimable, chemin decimal padded, profondeur max 4). »
- Output cellule 9 : « Shape : 1,408 lignes x 102 colonnes » rafraichi
  par re-execution reelle (Papermill kernel python313, 5.47 s, 0
  exception) à « Shape : 1,408 lignes x 104 colonnes ».

Diagnostic C.4 : type (d) regression de dependance/donnee. La donnee
sous-jacente (taxonomy Argumentum) a gagne 5 colonnes apres la
derniere execution ; prose et output sont restes figes. Pas une
claim fabriquee a l'origine -- la mesure etait vraie au moment de
l'execution. Pas de (e) stochasticite, (a) env, (b) claim anterieure
fabriquee, (c) moteur upstream. Verdict : CAUSE_FIXED.

L'execution a aussi actualise la taille du fichier OWL (5.9 MB → 6.8
MB) -- sortie de cellule 7 rafraichie. Pas de changement de
substance, juste reflet de l'etat actuel des fichiers.

Re-execution Papermill nettoie aussi l'injection d'erreur de la
session precedente (cellules 0 et 3 « An Exception was encountered »
+ « papermill-error-cell ») qui n'avait rien a voir avec le fix.

1 notebook, +1 ligne de substance, ~140 lignes de metadata Papermill
fraiches (timestamps, execution_count) -- le ratio est inherent a
toute re-execution de notebook (C.2 obligation de committer avec les
sorties).

Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
jsboige pushed a commit that referenced this pull request Sep 30, 2026
…s + fix 96K->108K estimate

Reserve Hermes (CONCERNS, 26h) :
1. Cellule 8 : CODE_SPAN_PIPE bug (roo-ext #3635) avait avale les 5 noms de
   colonnes backtiquees au commit original. Restauration des 5 noms explicites :
   svg_color, svg_illustration, print_and_play, decimal_path_padded, depth_max4.
2. Cellule 2 : 'regex sur 96 K lignes' remplace par '~108 K lignes' (valeur mesuree
   reelle : 107 895 lignes OWL, ecart documente Hermes 17:22:58Z).
3. Cellule 0 : clarification +2 net (102->104 colonnes, 5 ajoutees et 3
   renommees/supprimees non documentees, attribution #14578).

Re-execution Papermill 26/26 cellules, kernel python3, exception null.
Outputs C.2 rafraichis sur la base de la nouvelle entete CSV.

Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants